Package edu.uky.ai.lp.ai

Class Prover<E extends Expression>

java.lang.Object
edu.uky.ai.lp.ai.Continuation<Unifier>
edu.uky.ai.lp.ai.Prover<E>
Type Parameters:
E - the type of expression to be proved
public abstract class Prover<E extends Expression>
extends Continuation<Unifier>
A prover is a Continuation used to find all the ways that a given logical expression can be proved true.
Author:
Stephen G. Ware

  • Field Summary

    Fields 
    Modifier and Type Field Description
    E expression
    The expression to be proved
    Unifier unifier
    The unifier as it stands before the proof begins

  • Constructor Summary

    Constructors 
    Constructor Description
    Prover​(E expression, Unifier unifier)
    Constructs a prover for a given expression and current unifier.

  • Method Summary

    Modifier and Type Method Description
    java.lang.String toString()  

    Methods inherited from class edu.uky.ai.lp.ai.Continuation

    call, done, run, yield

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Field Details

    • expression

      public final E extends Expression expression
      The expression to be proved

    • unifier

      public final Unifier unifier
      The unifier as it stands before the proof begins

  • Constructor Details

    • Prover

      public Prover​(E expression, Unifier unifier)
      Constructs a prover for a given expression and current unifier.
      Parameters:
      expression - the expression to be proved
      unifier - the unifier as it stands before the proof

  • Method Details

    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object